864f6cfe49f45d905ee092a66ff5575e12c597bc,src/v2/org/analysis/transition_rule/X86TransitionRule.java,X86TransitionRule,multiDestination,#Value#number#Instruction#BPPath#List#,886

Before Change


		Value l1 = new HybridBooleanValue(r1, new LongValue(value), "==");

		l.add(new Formula(l1, "not"));
		if (!this.checkZ3(l, path.getCurrentState())) {
			return;
		}

After Change


		Value l1 = new HybridBooleanValue(r1, new LongValue(value), "==");

		l.add(new Formula(l1, "not"));
		if (!this.checkZ3(l, path.getCurrentState()).isSAT()) {
			return;
		}